Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Correspondence assertions for process synchronization in concurrent communications : | Bonelli, Eduardo |
(2005) |
---------- | |
Artículo |
Typechecking safe process synchronization : | Bonelli, Eduardo |
(2004) |
---------- |